Abstract data type - PDFSEARCH.IO - Document Search Engine

Abstract data type
Results: 296

#	Item
121	LogiCell Jean-Philippe Rennard, Ph.D., [removed]LogiCell 1.0 We have seen in Introduction to CA that the Game of Life has Universal computation capabilities. Add to Reading List Source URL: www.rennard.org Language: English - Date: 2014-07-28 10:11:15 Mathematical logic Propositional calculus Logical connectives Binary operations Algebraic logic Exclusive or Truth table Logical disjunction Boolean data type Abstract algebra Mathematics Boolean algebra
122	Lightweight higher-kinded polymorphism (Extended version) Jeremy Yallop and Leo White University of Cambridge Abstract. Higher-kinded polymorphism —i.e. abstraction over type constructors— is an essential component Add to Reading List Source URL: www.lpw25.net Language: English - Date: 2015-02-22 16:28:22 Type theory Data types Functional programming Monad OCaml Type class Caml Type system Kind Software engineering Computing Computer programming
123	Precise and Scalable Static Program Analysis of NASA Flight Software G. Brat and A. Venet Kestrel Technology NASA Ames Research Center, MS[removed]Moffett Field, CA[removed] Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:11:33 Program analysis Data types Software testing Abstract interpretation Static program analysis Patrick Cousot Software verification Type system Polyspace Software engineering Programming language theory Computing
124	Abstract Datatypes in PVS Technical Report CSL-93-9R • December 1993, Substantially Revised June 1997 S. Owre N. Shankar Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2010-03-25 06:20:58 Data types Programming idioms Type theory Recursion Functional programming Recursive data type List C++ classes EXPRESS Computer programming Software engineering Computing
125	PVS Language Reference Version 2.4 • November 2001 S. Owre N. Shankar J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:58 Logic Data types Predicate logic Formal methods Type system Abstract data type Stack Function Dependent type Mathematics Type theory Mathematical logic
126	OptiML Language Specification 0.2 Arvind K. Sujeeth Stanford University 1 Add to Reading List Source URL: stanford-ppl.github.io Language: English - Date: 2014-12-07 15:58:12 Abstract algebra Vectors Analytic geometry Mathematical structures Sequence container Euclidean vector Array data type Scalar Dot product Algebra Mathematics Linear algebra
127	4 Static Inverted Indices In this chapter we describe a set of index structures that are suitable for supporting search queries of the type outlined in Chapter 2. We restrict ourselves to the case of static text collect Add to Reading List Source URL: www.ir.uwaterloo.ca Language: English - Date: 2010-01-22 03:41:41 Information Data types Abstract data types Data management Associative arrays Inverted index Search engine indexing Hash table Trie Computing Information science Search algorithms
128	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2010-12-04 12:52:17 Computing Programming language theory Decompiler Type system Type inference Subtype polymorphism MOV Pointer Assembly language Software engineering Type theory Data types
129	LCLint: A Tool for Using Specifications to Check Code David Evans, John Guttag, James Horning, and Yang Meng Tan Abstract This paper describes LCLint, an efficient and flexible tool that accepts as input programs (writt Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 1999-12-09 17:40:10 C++ Procedural programming languages Data types Type theory C programming language ALGOL 68 Typedef D Nm Computing Software engineering Computer programming
130	UNO: Static Source Code Checking for User-Defined Properties 1 Gerard J. Holzmann Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT Add to Reading List Source URL: www.spinroot.com Language: English - Date: 2008-06-30 15:34:28 Data types Cross-platform software Procedural programming languages Type theory Pointer Main function C Static single assignment form Dataflow Software engineering Computing Computer programming

UPDATE